Sufficient conditions for convergence of the Sum-Product Algorithm

We derive novel conditions that guarantee convergence of the Sum-Product algorithm (also known as Loopy Belief Propagation or simply Belief Propagation) to a unique fixed point, irrespective of the initial messages. The computational complexity of the conditions is polynomial in the number of variables. In contrast with previously existing conditions, our results are directly applicable to arbitrary factor graphs (with discrete variables) and are shown to be valid also in the case of factors containing zeros, under some additional conditions. We compare our bounds with existing ones, numerically and, if possible, analytically. For binary variables with pairwise interactions, we derive sufficient conditions that take into account local evidence (i.e., single variable factors) and the type of pair interactions (attractive or repulsive). It is shown empirically that this bound outperforms existing bounds.Comment: 15 pages, 5 figures. Major changes and new results in this revised version. Submitted to IEEE Transactions on Information Theor

eIF4G stimulates the activity of the DEAD box protein eIF4A by a conformational guidance mechanism

The activity of eIF4A, a key player in translation initiation, is regulated by other translation factors through currently unknown mechanisms. Here, we provide the necessary framework to understand the mechanism of eIF4A?s regulation by eIF4G. In solution, eIF4A adopts a defined conformation that is different from the crystal structure. Binding of eIF4G induces a ?half-open? conformation by interactions with both domains, such that the helicase motifs are pre-aligned for activation. A primary interface acts as an anchor for complex formation. We show here that formation of the secondary interface is essential for imposing the ?half-open? conformation on eIF4A, and it is critical for the functional interaction of eIF4G with eIF4A. Via this bipartite interaction, eIF4G guides the transition of eIF4A between the ?half-open? and closed conformations, and stimulates its activity by accelerating the rate-limiting step of phosphate release. Subtle changes induced by eIF4G may be amplified by input signals from other translation factors, leading to an efficient regulation of translation initiation

Strong lensing optical depths in a \LambdaCDM universe

We investigate strong gravitational lensing in the concordance $\Lambda$CDM cosmology by carrying out ray-tracing along past light cones through the Millennium Simulation, the largest simulation of cosmic structure formation ever carried out. We extend previous ray-tracing methods in order to take full advantage of the large volume and the excellent spatial and mass resolution of the simulation. As a function of source redshift we evaluate the probability that an image will be highly magnified, will be highly elongated or will be one of a set of multiple images. We show that such strong lensing events can almost always be traced to a single dominant lensing object and we study the mass and redshift distribution of these primary lenses. We fit analytic models to the simulated dark halos in order to study how our optical depth measurements are affected by the limited resolution of the simulation and of the lensing planes that we construct from it. We conclude that such effects lead us to underestimate total strong-lensing cross sections by about 15 percent. This is smaller than the effects expected from our neglect of the baryonic components of galaxies. Finally we investigate whether strong lensing is enhanced by material in front of or behind the primary lens. Although strong lensing lines-of-sight are indeed biased towards higher than average mean densities, this additional matter typically contributes only a few percent of the total surface density.Comment: version accepted for publicatio

The Irish Abortion Debate: Substantive Rights and Affecting Commerce Jurisprudential Models

This Note examines the balance of power between the European Community and its Member States through the window of the Irish abortion debate. The framework for that debate has been shaped largely by two judicial bodies: the Irish judiciary and the European Court of Justice (ECJ), the judicial arm of the European Community. The Irish judiciary has approached the abortion question through an analysis of the content of substantive individual rights protected by the Irish Constitution. The ECJ, on the other hand, has addressed abortion from the standpoint of the European Community\u27s goal of uninhibited commerce between Member States. These two approaches have produced different sets of protected rights related to abortion. The need to choose one set or the other drove Ireland to referendum in 1992, and the Irish people chose the package of rights protected by the ECJ\u27s affecting commerce jurisprudential model. This Note analyzes and compares the affecting commerce model and the Irish judiciary\u27s substantive rights model as applied to abortion. The Author concludes that the adoption by Ireland of the abortion rights protected under the affecting commerce model, although it may end some confusion, may be indicative of a shift in the power to define the scope of important personal liberties from Member States to the central authority of the European Community. This centralization may be beyond the original contemplation of the states that joined to form the Community

Imaging the Cosmic Matter Distribution using Gravitational Lensing of Pregalactic HI

21-cm emission from neutral hydrogen during and before the epoch of cosmic reionisation is gravitationally lensed by material at all lower redshifts. Low-frequency radio observations of this emission can be used to reconstruct the projected mass distribution of foreground material, both light and dark. We compare the potential imaging capabilities of such 21-cm lensing with those of future galaxy lensing surveys. We use the Millennium Simulation to simulate large-area maps of the lensing convergence with the noise, resolution and redshift-weighting achievable with a variety of idealised observation programmes. We find that the signal-to-noise of 21-cm lens maps can far exceed that of any map made using galaxy lensing. If the irreducible noise limit can be reached with a sufficiently large radio telescope, the projected convergence map provides a high-fidelity image of the true matter distribution, allowing the dark matter halos of individual galaxies to be viewed directly, and giving a wealth of statistical and morphological information about the relative distributions of mass and light. For instrumental designs like that planned for the Square Kilometer Array (SKA), high-fidelity mass imaging may be possible near the resolution limit of the core array of the telescope.Comment: version accepted for publication in MNRAS (reduced-resolution figures

Discriminants, symmetrized graph monomials, and sums of squares

Motivated by the necessities of the invariant theory of binary forms J. J. Sylvester constructed in 1878 for each graph with possible multiple edges but without loops its symmetrized graph monomial which is a polynomial in the vertex labels of the original graph. In the 20-th century this construction was studied by several authors. We pose the question for which graphs this polynomial is a non-negative resp. a sum of squares. This problem is motivated by a recent conjecture of F. Sottile and E. Mukhin on discriminant of the derivative of a univariate polynomial, and an interesting example of P. and A. Lax of a graph with 4 edges whose symmetrized graph monomial is non-negative but not a sum of squares. We present detailed information about symmetrized graph monomials for graphs with four and six edges, obtained by computer calculations

Noether symmetries, energy-momentum tensors and conformal invariance in classical field theory

In the framework of classical field theory, we first review the Noether theory of symmetries, with simple rederivations of its essential results, with special emphasis given to the Noether identities for gauge theories. Will this baggage on board, we next discuss in detail, for Poincar\'e invariant theories in flat spacetime, the differences between the Belinfante energy-momentum tensor and a family of Hilbert energy-momentum tensors. All these tensors coincide on shell but they split their duties in the following sense: Belinfante's tensor is the one to use in order to obtain the generators of Poincar\'e symmetries and it is a basic ingredient of the generators of other eventual spacetime symmetries which may happen to exist. Instead, Hilbert tensors are the means to test whether a theory contains other spacetime symmetries beyond Poincar\'e. We discuss at length the case of scale and conformal symmetry, of which we give some examples. We show, for Poincar\'e invariant Lagrangians, that the realization of scale invariance selects a unique Hilbert tensor which allows for an easy test as to whether conformal invariance is also realized. Finally we make some basic remarks on metric generally covariant theories and classical field theory in a fixed curved bakground.Comment: 31 pa

Cosmic Shear Results from the Deep Lens Survey - II: Full Cosmological Parameter Constraints from Tomography

We present a tomographic cosmic shear study from the Deep Lens Survey (DLS), which, providing a limiting magnitude r_{lim}~27 (5 sigma), is designed as a pre-cursor Large Synoptic Survey Telescope (LSST) survey with an emphasis on depth. Using five tomographic redshift bins, we study their auto- and cross-correlations to constrain cosmological parameters. We use a luminosity-dependent nonlinear model to account for the astrophysical systematics originating from intrinsic alignments of galaxy shapes. We find that the cosmological leverage of the DLS is among the highest among existing >10 sq. deg cosmic shear surveys. Combining the DLS tomography with the 9-year results of the Wilkinson Microwave Anisotropy Probe (WMAP9) gives Omega_m=0.293_{-0.014}^{+0.012}, sigma_8=0.833_{-0.018}^{+0.011}, H_0=68.6_{-1.2}^{+1.4} km/s/Mpc, and Omega_b=0.0475+-0.0012 for LCDM, reducing the uncertainties of the WMAP9-only constraints by ~50%. When we do not assume flatness for LCDM, we obtain the curvature constraint Omega_k=-0.010_{-0.015}^{+0.013} from the DLS+WMAP9 combination, which however is not well constrained when WMAP9 is used alone. The dark energy equation of state parameter w is tightly constrained when Baryonic Acoustic Oscillation (BAO) data are added, yielding w=-1.02_{-0.09}^{+0.10} with the DLS+WMAP9+BAO joint probe. The addition of supernova constraints further tightens the parameter to w=-1.03+-0.03. Our joint constraints are fully consistent with the final Planck results and also the predictions of a LCDM universe.Comment: Accepted for publication in Ap

Investigating of the Recovery Behaviour of a Small Switching Gap after Current Interuption

The recovery behaviour of switching arcs in a small gap was investigated experimentally. Therefore a simple mechanical model switch without an arcing chamber was designed. For the investigation the current carring contacts are separated. After various arcing times, the current is interrupted by an electronic switch. At a fixed contact distance, the switching gap was tested with variable voltages to investigate the dielectric strength. Based on these results the recovery behaviour was studied using the Weibull distribution function